Principles of Knowledge Representation and Reasoning : Proceedings of the Second International Conference
نویسنده
چکیده
A general method of automated modal logic theorem proving is discussed and illustrated. This method is based on the sub-stitutional framework for the development of systems for hybrid reasoning. Sentences in modal logic are translated into a constraint logic in which the constraints represent the connections between worlds in the possible world semantics for modal logic. Deduction in the constraint logic is performed by a non-modal deductive system which has been systematically enhanced with special-purpose constraint processing mechanisms. The result is a modal logic theorem prover, whose soundness and completeness is an immediate consequence of the correctness of the non-modal deductive system and some general results on constraint deduction. The framework achieves signiicant generality in that it provides for the extension of a wide range of non-modal systems to corresponding modal systems and that this can be done for a wide range of modal logics.
منابع مشابه
Organization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society
Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...
متن کاملProceedings of the 6th International Conference on Science and Social Research (CSSR)(Malaysia)
متن کامل
Proceedings of the First MEFOMP International Conference of Medical Physics: November 2-4, 2011, Shiraz, Iran
متن کامل
From \ Principles of Knowledge Representation and Reasoning : Proceedings of the Fourth International Conference " Learning the Classic Description Logic : Theoretical and Experimental
We present a series of theoretical and experimental results on the learnability of description logics. We rst extend previous formal learnability results on simple description logics to C-Classic, a description logic expressive enough to be practically useful. We then experimentally evaluate two extensions of a learning algorithm suggested by the formal analysis. The rst extension learns C-Clas...
متن کاملA novel model of clinical reasoning: Cognitive zipper model
Introduction: Clinical reasoning is a vital aspect of physiciancompetence. It has been the subject of academic research fordecades, and various models of clinical reasoning have beenproposed. The aim of the present study was to develop a theoreticalmodel of clinical reasoning.Methods: To conduct our study, we applied the process of theorysynthesis in accordan...
متن کاملDevelopment of an Intelligent Cavity Layout Design System for Injection Molding Dies (RESEARCH NOTE)
This paper presents the development of an Intelligent Cavity Layout Design System (ICLDS) for multiple cavity injection moulds. The system is intended to assist mould designers in cavity layout design at concept design stage. The complexities and principles of cavity layout design as well as various dependencies in injection mould design are introduced. The knowledge in cavity layout design is ...
متن کامل